Teaching and Learning Formal Methods (Academic Press International Series in Formal Methods)
by C. Neville Dean, Michael G. Hinchey
ISBN 13: 9780123490407
Format: Illustrated (285 pages) Publisher: Morgan Kaufmann Published: 06 Sep 1996
Save for later